prove diagonals of prarallelograms